perm filename AMR7.360[360,GF] blob
sn#784637 filedate 1985-02-03 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T FCA8C%0↓∃ E(α∃e β∃e_∧∀` ⊂α∀@0⊂αT@ α∀ 0 αT 0α∀ 0α∀↓eπ∪`0@αS` Pα∪` Pα∪@0PαS@ `α∪ 0`αRA@¬∩A@¬⊃(D⊂FBq8∧)!_&A↓⊂ &A↓ &A↓0 &A↓0 &A↓0 &A↓0 &A↓ &A↓⊂ &D Q&A↓⊂(&A↓0 &A↓0 &A↓@ &A↓@ &A↓@ &A↓@ &A↓0 &A↓0 &A↓⊂(%∧i!λ"Qλ1@
EbpHβA`∃λε`$xαA`@λ↓∪@@XαS @hα∪@x↓R`A↓R`Aλ↓∩`1⊂↓∩@A⊂↓∩@DPα∩@DPα∩@A⊂↓∩`1⊂↓∩`Aλ↓∩`Aλ↓∪@x↓∪ @h↓S@@X↓S`P8α∀!E_βQ(D Gαq8∧ !_&A↓(&A↓ &A↓@_&A↓@ &A↓P &A↓P &A↓` &A↓` &A↓` &A↓` &A↓` &A↓` &A↓` &A↓`_&A↓P &A↓P &A↓@ &A↓@_&A↓ &A↓(%∧i!"QλQ8
¬bp
RBThαα Thαα`4hαβ4hαβ4hα↓@ (↓∪ @0↓↓ $hα↓@ (↓∪ @0↓∪ @(↓S!Dhε∪ @(↓S @0↓↓@$hα↓@ 0↓∪ @0↓↓ 4hα↓@ (↓S @`↓S @`↓S @Xα∪ @@βRBTP
Q(D0
Fαq8¬ ! &A↓(&A↓ _&A↓0_&A↓0_&AP⊂αiP α@@P⊂&AP⊂α@IP α@IP αiPX&BiP αiP α@IP α@IP α@IP α@IP &A P &A X%αhT #Fca8B p8T!@_↓∪`P8α $pαα`Thαβ D`αβ`4Xα∧4Xα∧ $X↓D@$Pα∩@DPα∩@DPα∩@@Xε∩`0Xε∩`@xα∪0xα∪@pα∪ @hα∪@@`α∪`P@β∀!P⊂↓∀a0Q(D@εbq8α@@P%α@@P&A↓ &A↓ &A↓ &A↓ &A↓ &A↓ &A↓ &A↓ &A↓ &DIQ⊂&A↓ &A↓ &A↓ &A↓ &A↓ &A↓ &A↓ &A↓ &A↓ %α@@P%α@@P"Q ⊂PεEbp¬∩A$hα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ DP¬∩A$("∩B↓⊂E``P(αJ@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ %@`` %↓ P %↓ P %↓ P %↓P %BiP8"Q 1P∞Ebp¬↓A∀P¬↓A∀hαα@Thαα@4hαα 4hαα4hα↓@Dhα↓ Dhα↓4hα`Thα@thα 0λα∪ p⊂αS ` αS P0α∪ @8αS @@αS @Hα∪ @HαS @PαS @XαS @`α∩A 0¬∩A 0¬⊃(D`
Ebq8αi X&A P &A P &A P &A P &A P &A P &A↓@⊂&A↓@⊂&A↓0_&A↓0_&A↓0_&A↓ &A↓ _&Ap0%¬ ! "Q R_∩¬bp∧∧a∧P∧D!∀pαD Tpββ`dpββ`dpβC tp↓ @h↓ Dp↓ PX↓@ Dp↓@@X↓@Dp↓@PH↓@@Dp↓`@H↓`Dp↓`P8↓@`Dp↓↓@8↓↓Dp↓↓P(↓ADp↓↓ @(↓↓ Dp↓↓ P_↓A Dp↓↓@@_↓↓@Dp↓↓@Pλ↓A@Dp↓↓`@λ↓↓`Dp↓↓`p8α∪@ @αBDhα↓`P@α∩A (↓A!DP¬↓@ (ε⊃(Dpεbq8↓a⊂@%α↓@&A! &AA ⊂&Aa⊂⊂&@@⊂(∧IP⊂↓↓↓⊂&@@ (β@IP⊂↓A `⊂&@@@(α@IP⊂αAP⊂&@@P(αIP⊂β↓ 0⊂&@@p ↓@IP⊂βA ⊂&@A(@IP⊂∧AiP⊂¬↓IP⊂¬↓IP⊂¬A)P⊂ε↓ @ εi @¬i @¬@HT 'FCQ8B!¬λε∪`P0αS@@Pα∪ @`α∪@pα∪1↓R`Aα∩`1⊂↓R@A⊂α∩@A⊂α∩@A⊂α∩@A⊂α∩@A⊂α∩@A⊂α∩`1⊂↓R`Aα∩`Aα∪@pα∪ @`α∪@@Pα∪`P0αT!E_∧⊃(Eε"q8∧ !_&A↓(&A↓ &A↓0 &A↓0 &A↓0 &A↓0 &A↓0 &A↓ &A↓(&D Ph&A P &A P &A P &A P &A P%αHT (FCQpB!¬λε∪`P0αS@@Pα∪ @`α∪@pα∪1↓R`Aα∩`1⊂↓R@A⊂α∩@A⊂α∩@A⊂α∩@A⊂α∩@A⊂α∩@A⊂α∩`1⊂↓R`Aα∩`Aα∪@(α↓ Dhα`p⊂α∪@@⊂↓@0λα∪`p_β∀!@(↓∀a⊂0↓⊗@ 0↓⊗@0 ↓V@@⊂α⊗a¬X∧↔ehα⊃(E⊂Gαq8βi!λ&Ap(&A↓⊂ &A↓⊂ &A↓ &A↓ &A↓ &A↓⊂ &A↓⊂ &Ap(&CIPh&A` &Ap &A↓_&A↓ &A↓ &A↓ &A↓ &A↓ αIP ∧↓@⊂%α@`@%α@p("Q
1λ
¬bp(β`$hεS0(β∩`0@α∩@0P↓R@0X↓∩@0X↓∩@@P↓∩@TXβS↓$h¬SA5⊂∧∃@E8α∩@ `↓R@ `↓R@ `↓R@0X↓∩@@H↓R@p(↓RAdP↓↓d("∃β!`E`⊃@%F 0(αAP(%A` β↓ βAp %a ∧i _∧↓↓_%A⊂ ∧@I ⊂∧A↓⊂⊂*A
P *A
P *A
P *A
P *A
P *A
P *A
p(βHT *Fβ18@↓ 0∧∩A 0∧∪ @Xα∪ @`↓∪ @`↓∪ @`↓∪ @`↓∪ @`↓∪ @`↓∪ @`↓∪ @`↓∪ @`↓∪ @`↓∪ @`↓∪ @`↓∪ @`↓∪ @`↓∪ @`↓∪@0`S@@P↓∪`0H↓∀@(↓T!%_β⊃(E0∞π"q8αA @%αA @&A!P '↓↓`⊂'↓!@_'A↓@⊂'A! _(↓↓ ⊂(↓!_(A↓⊂(A `_)↓`⊂)↓`⊂)↓ @_)A@⊂)A _*↓ ⊂*α
P0*AJ` +↓
p⊂+@HT +I∧q8@↓ ¬↓`tP∧↓↓ 8βR`PHαB`4`αα@@X↓∪PHαB 4hαα PH↓∪ @HαB $hαA`p8↓S@@8↓ @8↓∪@@8↓ @8↓∪@P(↓@ P(↓S`@(↓`@(↓∪`P_↓@`P_↓T@_↓↓ @_↓∀@_↓↓ @_↓∀Pλ↓A Pλ↓T @λ↓↓`@λ↓∀ p8βT@PHαT@PHαT@PHαT`0X↓T`0X↓T`0X↓Q(E@∞π"q8α@pH%α@pH'↓! 'A↓ ⊂'A!_(↓ `_(A @_)↓ _)B
@0*↓JP(*AJ@@*@ )@` ()`@((@``((a('@a ('@A@ &A↓@(%α!⊂P%α!⊂P"Q⊃`∞Ebp¬αA∧P¬αA∧pαβ DpαC4xαB@5αα@%αB5λαA@5⊂α↓@%⊂αA5_α@@5 α@% ∧∃ e0α∃@E0α∃@E0α∃@E0α∃@E_¬∀a$("⊗B10E`⊃⊂%DI0(∧↓ 0_∧A)0_∧↓)0⊂∧A 0⊂∧↓)0⊂βA)0⊂βA
0()↓*⊂((A
('A p⊂'A↓⊂'↓!⊂&A!_&A↓⊂_&↓!⊂_%A!⊂_%A↓(%∧I!⊂"Q⊃λ
βap⊂βRa$Pα↓ 4Pα↓@4X↓↓`5 ↓U5βS @_↓R`00↓R` 8↓@@$P↓A`0⊂↓∩@08↓@@$Pα↓P⊂↓∩aλβ∪P α⊃(F⊂ E#↓@↓I 0&@iP_&@iP_&@iP_&@iP_↓A)Ph&A P &@a⊂_&@a⊂_&@a _&@a _&@a _&@a _&@a _&@a _&@a⊂_&A↓_&A P &@@ H&@@@("Q0xλCap0β∪A∀h↓AD`↓A DX↓A`$P↓R@4P↓R@4P↓R@DX↓B $Xα↓`4`αA4h¬∪`t("→α1(ε↓ 0*↓Jp_+@jp_+@jp_+@jp_'A@ _&C)@ αA)0_∧@i0_∧@i _¬i _¬i _¬i _¬i _¬i _¬i0_∧@i0_∧↓ @ αA)PHAIp(↓AHT 2Cb⊂xπA dp∧S@ α∪00↓R`0@↓R@0H↓RAtPπR@4P↓R@DX↓B $Xα↓`4`αA4h¬∪`t("→APpεp (↓Ip_A `_↓↓ `_↓@I`_'i`_'i P%αI`_'i`_'i`_'i`_'i`_'i`_'i@@&αλT 3DBA0πA P⊂β∪!t`↓A 0⊂↓S 8↓∩`08↓R`08↓R`08↓S 8↓∪0(↓S↓$X↓@TX↓∩`4Xε∪↓T`π∩`0Hα∩@0X↓R@0X↓R@0X↓R`@8α∪↓TxβQ(F@ E#↓@↓I 0&@iP_&@iP_&@iP_&@iP_↓↓)P_B P(αiP βiP_β@iP_β@iP_β@iP_β@iP_β@iP_β@iP_β@iP_β@iP_β@iP_β@i HB) HB(T 4Aa!@ 4PαR@TPαR`48↓R@TPαS4`↓S4`↓S4`↓S4`↓S4`↓S4`↓R@tPβQ(FP∧Bβq@α@i`('↓)`('@hp_'↓)`((j_(j_(j_(j_(j_(j_(j_(j_%@@0_%↓ _%↓⊂_%AI@ "Q
1⊂
εββ∩@dh↓S 4h↓S 4h↓S 4h↓S 0 ∧∪ 0 ∧∪ 0(α∪ 0 α∪ 0_α∪ 0⊂↓S 0λα∪!∀hα@ 4hα@Dh↓ADh↓A Dh↓A@4h↓A@DP∧@@tP∧@@t("≠pPε(%↓)@_&i@_&i@_&i@_&i@_&i@_&i@_&i@_&i@_&i@_&i@_%↓i 8"Q
Qx⊂Capβ`P0αR@`λ∧@A∀hαA 0λ↓↓ 4hα↓`@8↓S 0@↓B4h↓B0@↓S 0@↓B4h↓B0@↓S 0@↓B4h↓B0@↓S 0@↓B4h↓B0@↓S 0@↓B4h↓B0@↓RA⊂⊂∧@A∀P∧@A⊂⊂∧Q(Fp E!px↓@ (%↓@⊂@&A @_&A`_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_%α ⊂H%α ⊂H"Q
qλ Cap0αSA∀h↓A 4`↓α $X↓B 4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4X↓B 4`↓α $`α↓ Dp∧TT("≤α1(β`0↓A)!&A P &@a &@a⊂_&@a _&@a _&@a _&@a _&@a _&@a _&@a⊂_&Ap &A P &@`⊂H&@`0(&@iP_&@iP_&@i H%α(T 8DbQ0πA `_↓∪A⊂↓∪@(αS08α∩`0H↓R@0P↓R@0P↓R@0P↓R@0P↓R@0P↓R@0P↓R`0H↓R`@8α∪@(αS!⊂λ↓S`P_↓U`58↓U`58↓U`5 ∧U↓∀("≤AaπC`0↓↓) 0AiP(↓↓ P ↓A P αIP_&@iP_&@iP_&@iP_&@iP_%α) H"Q∞0hπCap_β $`¬∩` (α∩@ 8↓R@ @↓∩@@0↓∩`t`∧SA¬⊂αR@ H↓∩@ H↓∩@0@↓∩@P(↓∩A4P↓@d("≥↓@p¬@@⊂'I`⊂'IP_&@i@ %αi X&@iP_&@iP_&@iP_&@`@⊂&@`@⊂&@`@⊂&@`@⊂&@`@⊂&A _'↓ip("Q∞Q_
Capβ↓dPβ↓dh↓A`4h↓A`4h↓A`4h↓A`4h↓A`4h↓A`4h↓A`4h↓A`4h↓A`4h↓A`4h↓A@Dh↓A Tp∧ eα`d("≥B1 πC`@α↓i @α↓i@ ∧iP_∧IP βi`_βI` αip_αIp ↓j_↓J8(A*⊂()j _)hT ;F#0xπ@p_β`dPβ@``_β∩`@0α↓@4`↓A@@0↓∪@ β↓4h↓A λ↓A$h↓A λ↓A$hα@0λα@4p↓@@ _↓@@$pβ@`txαA TxαA TxαA U↓A`5↓A`5↓A`4("≡αA(πC`@α↓i @α↓iP β↓ ` αip ↓j8(A* )↓
⊂0(`⊂ '@`0 '`P &↓p %↓`P@%↓`P@"Q∂⊃_
¬Ap∧↓tP∧↓t`αα4h↓B$hα↓@4p↓A@$pα↓4x↓A$xα@5↓@@%↓@@%βT UλαT@5⊂↓T@%λ↓S _↓∩`@λ↓R`tXβ∪D("≡AaπC`⊂h%C)0_αA 0_α@i0⊂αA 0⊂α↓ 0⊂↓A p '@`@⊂'↓@⊂&A@_&↓P_&``_%A@ %β) h"Q↓ ¬bp RB4hα↓`Thαα 4hαα@4hαα@4hαα@4hαα`$hαα`$hα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∩A4P¬Q(@λ∞πbq8ε@J` +↓
P0*AJ@@)@` ()@@@ )`@()@` (@``((a((A '@a ('@A@ 'a@('A` &@a`(&b(&B %@b (%FI!`%πλT ↓εCQ8B!¬λε∪`P0αS@@Pα∪ @`α∪@pα∪1↓R`Aα∩`1⊂↓R@@⊂↓α@ ⊂α∩@@⊂π@DPαA`⊂α∩@@⊂π@DPα@ P↓@DPα@ P↓@DX↓D@4Xα∧DXα∧D`αβ@DhαβDpαα@DxαA@Uλε∀a∧("ba@Ea ⊂*J0 )A
0 )↓J 0)↓J⊂@(@@ (@@ (` ((@@ (@@ (@@ '@`@('@@` '@@` '``('A 'A &@a(%α@P%α@P"QA_¬bp RB4P R@ x↓∩@ x↓∩@ x↓⊃I@⊂¬@I@⊂¬@I@⊂¬@I@x&βi@x&A0⊂&A0⊂&A0⊂#@) ⊂π@I ⊂π@I ⊂π@I!_%∧i!_"QQ@
Ebp∩C∧hαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@DP∧AA∀P∧AA∀("↓C↓XE`↓8%¬i0 εA)0(πi@(πiP(ε@i` πI`(ε@Ip(εJ((A
⊂()↓
_(@j_ε@Ip_πIp⊂π@I`_πiP_π@i@_π@i0_π↓)!8%¬hT βFCQ8@`PPαS↓0∧∩`0_α↓@_↓R@0(α@@(↓R@ 8↓@@08↓∩@ @βα% β∃e(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ Eλε∀!D("αβ↓XE```(β
@ *↓
@'CIP(↓↓ (&↓@ α↓ 0 αAP %AP αA β↓` %↓` β↓ β↓` %↓` β↓ 0 αAP %AP αA @ α↓@ &A ↓↓)pp)α
@ *↓
`(βλT ∧FCQ8AaEλε∃ E(α∩@P0α↓@TPβ↓ @(β∪@(α↓ D`αA@ αS @ α↓Dhα↓@ α∪ @ α↓Dhα↓@ α∪ P_α`Tpα`@_α∪@@_α`Dpα@@@⊂αS`Pλα Uπ∀!E_∧∃ E(α∀!Eλε⊃(@Pεbq8∧α pp&A!(&↓↓@ %A↓` %↓α %↓α %↓α %↓α %↓α %@b_%A↓` %A↓` &a`_&↓↓@ &@a@_&@a@_'a _%@ _¬` ⊂%@0_∧`0⊂%` _∧` _%α `H%B`@%B`@"Qε↓λ EB`0αSA∀h↓A 4`↓α $X↓B 4X↓B 4X↓α`$P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4X↓α`$X↓B 4X↓B 4`↓α $h↓A 4p∧TT("!Aλ¬@`⊂'↓ @%α ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` %β `"Qε x ¬B` β∪↓$X↓A DX↓A@DPαA@DPαA@DPαA@DX↓A`E(α∃E ↓T`E⊂α∀ Eλ↓∀4x↓A $p↓A@$h↓A@4`εRaTPπ∩Ad("b⊃_¬@P8&Bi@_β↓ 0(β↓ 0(β↓ 0(β↓ @_βA
P *A
0('Aip8*@j`_+@i0_∧A (∧↓ (∧↓ (∧↓ 0_∧↓ 0 β↓ PX'AhT ~∧"10β%(↓UE α∀`U⊂β∀ u↓@ Dx↓@@Dx↓`Dp↓@`Dh↓AD`↓A DX↓A@DP↓A`DPλRB∃ α∃E α∃Eλ¬∀!$("
!q⊂¬@ `&β @X&α)@⊂&I@⊂&I@⊂A)@P&↓0 &`P &@p_*A
P %@A %↓p %↓p %a_%@@p %@`P &αI`0"Qεaλ EB`8β∪a∀pα↓ $h↓A@D`↓A`D`↓α $X↓R`4P↓A DP↓@a∧P↓@@ (↓R@0λB4P↓@ ⊂@↓R@@P↓R@@P↓R@@P↓R`0P↓R`0P↓S0@↓S0@↓S 00↓SA%β⊃(C8λEαq8@I1%D 0x%βi _∧@I ⊂∧@i ⊂∧j@⊂)@j _)j⊂_(@j (↓ p 'A `('↓)`('↓)`('@hT ≤βb!0↓ dh¬∩`00α∩`⊂P↓R@ X↓∩@ X↓∩@0H↓R@P8↓∩``_α∪↓4h∧∪!∀`¬R`@_β∩@@0αR@0H↓R@0H↓R@0H↓R@0H↓R@@@↓R`P α∪↓4pβQ(CHλDba0αAI`H&↓@ %@a_%@a⊂⊂%a _%a _%a0⊂%a0_%a0_%a0_%@a⊂ %@a(&↓@_@iP@↓@ip(↓@jp_+@i@⊂∧i0 βi0 α@i@P'↓HT ∩βb!`
↓`%λ↓∪`dh¬∪@λ↓ DX↓@` _↓∩@0 ↓`4P↓A _↓R@0 ↓@DP↓A ⊂α∩@@_↓`$Xα@$`βS!∧p∧∀ eλ↓@5λ↓@DX↓↓ _↓R@@_↓`4Pα` _↓R@0 ↓`4P↓A _↓∩`0_↓@4`α λ↓S!∀xαT %λ↓⊃(B0
π#↓@∧j0(@ _'@`0⊂'@`0⊂'@`0⊂'@`0⊂'@` ⊂'@`⊂_'A@p@(a⊂@(↓↓⊂ '↓A⊂_&@`⊂_∧@I@⊂↓A↓⊂%@`@ βI0⊂αAP⊂%`` αI _βA ⊂%a0β@I _∧↓!⊂%@a(β@I@_αBP⊂&B 0H'↓@p0"Qπ`pλFα⊂0↓S`TxαS`U↓Q`%↓∀%↓∀%↓∪`$x↓∪@$h↓∩`4X↓α$P↓A`DP↓A`DP↓B4X↓A@4`¬∪@t("∂aaλε08&αI0_βi _∧i β@i β@i0⊂∧J@_)@J ⊂(@J⊂⊂(J⊂(J⊂(Hp⊂(ip('A)p((hT λ↓a xπ@TPαS4`↓S4`↓S4`↓S4`↓S4`↓S4`↓R@tPβQ(Aλ∧αα`x↓A)P('@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_%@@ _%↓⊂_%↓i 0%AλT D"1@↓`Tx∧S@0(↓S 08↓S 08↓S 08↓S 08↓S 00↓S 0(↓R@`λβ∩@`λαS 0 α∪ 00↓S 08↓∪ 08↓S 0@↓∪ 0@↓S 0@↓S 0@↓S 0@↓S 0⊂↓↓4h↓@ @⊂↓S 0λα DPβ!∧Pβ@T("εC⊃`πC`00β↓I@H↓αI0 α↓`@ %AP β@i@⊂β↓↓_*a⊂_(∧iQ0&↓ 0_%@``_%`p %`p ∧@I _βA p_%↓P⊂A@ %B 0P&A p0"Qβ1X∂βap(β↓`Tp∧↓↓∀`α↓@λ↓AD`↓αP0↓R`0@αA`4P↓B@0@↓R@0Pπ∩@0Pπ∩@0P↓R@0P↓R@0P↓R`0@αB$X↓B`0↓S@ α @_α∪! _∧S``0β⊃(A`λDbq_π@K_+@jp⊂(↓ ⊂_'αIP_α@i@⊂β↓)0_α@`⊂_%``⊂↓@i _α@`0_%`P⊂αi _α`@_%`0_α@i _↓@@`_%@`⊂_α@i@(βI@ αA PP&`⊂(&I0_%@I0⊂"Q∧⊂(∧Fβλ↓R@TPαR@TPαR@TXα∩`DXα∩`DX↓R`4X↓S$`↓∪$`↓∪$8R`4PαR@TPαR`4("λcAx∂F↓P⊂β@Jp⊂β@J`_βj`⊂β@J`⊂β@J`⊂βjP_βJP⊂β@JP⊂β@J@_βj@⊂β@I!`%π
0⊂β@J0⊂β@J0⊂βj _βJ ⊂β@I!`%π
⊂⊂β@J⊂⊂β@J_βj⊂β@J⊂β@J⊂βip_βIp⊂β@Ip⊂β@I`_βi`⊂β@I`⊂β@HT ∩Gβq`
↓4hβ∧$`↓`0p↓R`0 ↓C4X↓↓@0Hα∩@00β`dP↓AAtP↓A@ _α@ 4P↓A@ @↓R@00↓↓`4X↓↓@ 0↓R`0 ↓↓`$`↓`00↓S `0↓S@08↓A58↓Ae0↓A _↓U 0 ↓A%(↓↓ 0↓∃0 ↓A@%_↓A 00↓∀@00↓A@%λ↓A`00↓∀0@↓A@%↓α@ 0↓∪`0P↓A$p↓C _↓S 0pβ∪ !↓Q(B8βαA1@@i (%↓I 0%A)`⊂'IP_&@I0 %↓ ⊂"Q¬Hπλc 8↓∀4x↓S@4h↓S 4`↓S4X↓R`4X↓R`4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4X↓R`4X↓R`4`↓S4h↓S 4p↓S`5↓T $("
!⊂`⊃F@⊂%i0_&iP_&@i`_'ip_'@ip_'@j_(j_(j_(j_(j_(j_(ip_'@ip_'@i`_'iP_&@i@_%@i _%HT ∃β"⊂p
↓@%↓∀∃R@ A$Pα@⊂⊂α∪0λ@ 4pαS@T`↓@ ⊂λ↓R@@⊂@@DP↓↓⊂ ↓∀∃↓∀$("
c!hE!@⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+I!P%εJ`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+HT ⊗↓!⊂Xα 4PαR@TPαR`Dh↓∪ $`↓S$X↓R@4P↓⊃(BpαB @ @i (%↓) (%@hT ↔Cb"_
β %8↓∃@50↓∃ 5(↓∃ % ↓U% ↓∀`5_↓∀@5⊂↓∀@%λ↓T %λ↓∀5↓∪`4x↓∪`$p↓S@$h↓S $h↓∪4`↓∪$X↓R`$P↓R@$P↓⊃(CPαB!px@i (%↓) (%@hp(%@i (%↓) (%@hT ≥A!⊃0π@ 4PαR@TPαR`48αR`4PαR@TPαR`Dh↓∪ $`↓S$X↓R@4P↓⊃(C`αB#↓λ@i (%↓) (%@hpλ&I@⊂&I@⊂&I0_%@i0_%A 0 %A 0 %↓) (%↓) (%↓)0_"QπQP∞B!P
∩C$8αRC$P
⊃(D
π#↓@∧B
⊂`'A `('a@_&@a`_&`P0α@i@⊂αα P⊂%@@@_α@`P⊂%@@0_∧↓ ⊂%@@_∧@`0⊂%@0_¬`0⊂%@0_¬`0⊂%@0_¬`0⊂%@0_¬`0⊂%@0_¬`0⊂%@@_∧@` _%@@0_∧↓ ⊂%@@@_αA@ ⊂&@@H↓↓I@_αA@@ &@i`_λip(∧α
⊃λ)BHT -A!"_
TPαR@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@TPαQ(EhαAd1P↓) (&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂%↓) ("Q0∧Bc ↓∪DXα∩`$P↓R@$P↓∩@TPβ∩@dXαS4("∧@p`βε_%↓ (%A)P_'ip⊂"Qα08λ↓C ↓S D`αR`TX↓R@4P↓⊃(A ¬DQ0@p⊂%`P_%A⊂ &↓iP('hT
C"⊂0 H↓∩@ H↓∩@08↓R` 8↓∩`@_α∪↓∀pαQ(A0πD@⊃ βi x"Qαp@ Ac⊂α∩`dP↓↓$P↓↓$P↓↓$P↓↓$Xβ∪D("ε↓!(β@ @_'i` '↓* 'A) H%↓hT ⊂α!0 π↓`$xα∪ TPβ∩@D("↔A1βε@_'iP(&`⊂_%↓0 %`P_%@p⊂"Qp(∧Aβλ↓R@TPαR@TX↓Q(Ghε∧ q@↓@`0_&@`0_&↓ %A %@`0_%`0_%@@⊂%@@⊂"Q∂`hλ@c⊂α↓ $Xβ@@4P↓@@tP↓↓ D("∨aQλαε⊂_α@i (↓A) (↓A) (↓A)0_α@hT ∞H$18Bαu⊂U λααU(↓ @P↓U0λαα`5 ↓@@X↓T`0⊂α↓ 0↓∀` _α↓ 0↓∀` _α↓ 0↓∀@0_α↓%⊂↓↓@_↓T 0 ¬∀ (¬∀ (α`5ε↓ 8↓∀↓@ ↓↓`$x↓A@@ ↓↓@4x↓↓`@ ↓↓@4x↓↓`@X↓S@08αα`4p↓α@Pα∪ @8α↓`tP∧bDP∧bD("πDB8Ea!@(Fip(β↓!('↓↓⊂ ¬iP ¬↓↓0_&↓↓0 ¬@i@_ε↓@⊂βI0 ε↓@⊂βI0_εA@⊂βI εA@⊂%↓↓P ↓@i εBI εBI εA0_%↓↓P α@p⊂%@aP α@p⊂%A↓@ α@`_&a@ α@`_&↓↓0 ¬@iP ¬↓↓0_'↓↓⊂ ¬↓ p(β↓ p8(FjA@"QβqP∞Fc⊃0↓↔`5_∧`5λε $xαA@dpαα@Dhαα@d`αα` λα∪0X↓@@4Xαα@0_α∩`0P↓A 4Pαα@ 0α∩@@H↓A@DPαα08α∩@@8↓BDPα↓@0Hα∩@@0↓α@DX↓A 0P↓R`@_↓B@DXα@0Xα∪@λ↓α`Dhβα@Dpαα@Dpβ↓@Tp↓!Dh↓@a∧`↓S$("αc↓Pε↓0α↓
↓λ'@`P(↓↓ `_β↓0 &@a_αIP_∧iP_∧iP_∧iP_∧i!(%¬)P_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧i08αα 08ααλT ε¬αa@αe¬∪`00↓S@00α∪ 08α∪ 0@↓∪ 4h↓S 4PλRB∀h↓B4h↓B4h↓B4h↓B4h↓B4h↓B4h↓B4h↓B4h↓B4h↓B4h↓B4h↓B4Xβ@a∀Xβ@a∀("β"A0ε↓0@JX'@`P '`` &@a_&@a_&@a_&@a_&@a_%∧)!λ&@a_&@a_&@a_&@a_&@a_&@a_&@a_&@a_&@a_&@a_&@a_&@a_%A`0H%A`0H"Q↓b⊃εβ@β↓@e¬!4x↓A@P0α∪@00αA`Dh↓A`@@α∪ 0@↓B $h↓B4h↓B4h↓B4P∞RCTh↓B0H↓S 0@↓B 4h↓B0H↓S 0@↓B 4h↓B0H↓S 0@↓B 4h↓B0H↓S 0@↓B 4h↓B0H↓S 0@↓B 4h↓B0H↓S 0@↓B 4P∧@A⊂_∧RA⊂⊂∧@a∀("βdα⊂ε↓⊂0αA@⊂⊂(¬ip_β↓ ` '`p βA P_∧a⊂_&@a_∧@iP_∧a⊂_&@a_∧@iP_∧a⊂_%π)!h&@a_∧@iP_∧a⊂_&@a_∧@iP_∧a⊂_&@a_∧@iP_∧a⊂_&@a_∧@iP_∧a⊂_&@a_∧@iP_∧a⊂_&@a_∧@iP_∧a⊂_%α H↓B) H↓α 0H"Q@h Bc ↓↓ $`α`DXα`DX↓↓ $P↓A4P↓↓ $P↓↓ $Pα@@TPβ dPβ dXα@@T`↓A4("λAPx¬F⊂_αi (↓↓) 0AI 0AI0(↓↓)`⊂α@I`⊂α@IP_αiP⊂α@I0 ↓A ↓A ⊂α@HT ⊗B!0⊂∧@↓∀P∧RA∀("≡b1 B@↓_%∧hT > eλ¬∧tP∪Q? D 8
X3#c`α>gα>g∂x␈␈␈p¬∂x␈␈}pβ/0 G`p∂8@λ}d⊂∞@↓V@k@C=H1pβ6mX∞λ{⊃βpπ≠≤p'o0"G`s3@g>d0
@↓F c⊂β=HrβZNh%x{∩βpππ\ Wo0$C`8↓≤↓H>dP
@↓≥PO_,=I2βT∞P9H{∪β ¬xW`↓/0&I ↓λ∃D`α∩>dp∂@↓apq w=IrβW.`VX{∀β@ε9Y`↓9/0(Hp];β∧}e⊂∂↓↑Po@0I=J18αU*Xo({∃β`εm[0↓i∂0*G`p∂8@βf}e0∂@↓apq8␈=JrP∧f3_↓¬8{⊗βpππ\ α≡/0,G`p∂8@∧S>eP@↓:p]@HN=L⊃(α4iP↓∨λ{_Bp¬*U0αFo01D`@Q"@¬#>f @↓*PU@P`=LQ_α∀(P↓18{→APβε αiO03E HS&@¬b}f@@↓*PU@Xo=M⊂`↓2eH↓C8{~APβε β
/05E@P∀(`ε,>f`εY0,@h∧=MR⊂βwo`↓Tλ{≠Bp¬*U0β5/07E HS&@ε|>g@↓*PU@p_=N⊃0αE
_↓h_{≤B⊂βgO β[∂09D 8\∨πB>g λ@yp=x"=NQ8αU*X↓x({≥B`¬
∀0βyO0;G@h[6`λ↓}g@↓"@Q@↓4=O⊃0αE
_α
({≡B0∧(Q ∧≡O0ε@Xq/@λL>`λ⊃↓{p}↓λ;=@"βW.`α≤X{c ε¬X⊂∧GO0αε XW.` $>`(∂@↓apq↓⊂n⎇@apβ6mXα4{↓dπ.]@∧r?0∧π@h[6` y≡`H⊂↓kPv↓ %⎇A!pβ6mXαK0{αP∧iS ¬$←0_E HS&@
`≡c⊂
@↓~0M↓(Z⎇F1(α4iPα←`{
αP∧iS ¬H␈0~E HS&@#≡c0
@↓~0M↓0j⎇Fq(α4iPαs⊂{∞αP∧iS ¬m␈0≤E HS&@p↑b
@↓~0M↓@
⎇DbβW.`β P{∂B@∧I∩ ε"←0∨EH∩$@U≡aεY0,@↓HI⎇B⊂h↓Cε⊂β≠P{ε"P∧iS ε>?0
π@h[6`
_≡aX⊂↓kPv↓PX⎇CA(α4iPβ0P{λ!@αeK⊂εm←0⊃H@x←?
i≡b(⊃↓{p}↓`⊃⎇Dp`↓2eHβLP{
α⊂βgO π≥∨0∀D 8O≡@∞N≡bP
@↓~0M↓hC⎇E2βW.`β\ {↓@αeK⊂π?␈0↔β(K⊗ ∂π↑bx
@↓~0M↓p↔⎇G `↓2eHβgp{∞a@αeK⊂πS?0≡β(K⊗ ∂1↑ch⊂↓kPv↓p}⎇HαβW.`βpp{⊗a@αeK⊂πt?0.C(K⊗ ∂|↑fεY0,@α ⎇B!(α4iP∧ε{∧bP∧iS λ∞←0
¬ HS&@⊂"↑a(
@↓~0MαQ⎇Ba(α4iP∧⊂{¬cpππ\ λ→←0π@h[6`⊂;≡bεY0,@αλ↓⎇Ka(α4iP∧⊃ {↔a@αeK⊂λ&∨0>E HS&@⊂P↑gp
@↓~0Mαλ4⎇Oq(α4iP∧_{π$Pλ=apλ3?0∂
↓⊂eK ⊃≡ax⊂↓kPvα⊂↑⎇A1HαukX∧4@{ββ¬K⊗0λv?0εFX⊗,`∩∧≡`p∩@α_εα :⎇Ar(∧_0`∧P{↔αP∧iS 2∨0⊃¬ HS&@∩r≡bhπiP5α(␈⎇O1(α4iP∧``{∨¬⊂ 2eP B␈H∧b⊂Aw{⎇xow{⎇x